منابع مشابه
Avalanche-Safe LINQ Compilation
We report on a query compilation technique that enables the construction of alternative efficient query providers for Microsoft’s Language Integrated Query (LINQ) framework. LINQ programs are mapped into an intermediate algebraic form, suitable for execution on any SQL:1999-capable relational database system. This compilation technique leads to query providers that (1) faithfully preserve list ...
متن کاملSimple GC - Safe Compilation
Xerox PARC 8/13/91 It is increasingly attractive to compile programming languages requiring garbage collection into a standard intermediate language. This allows readily available translators for the intermediate language to be used in targeting an increasing variety of architectures, and thus allows an implementation that is immediately portable across a variety of architectures. The intermedi...
متن کاملRobustly Safe Compilation or, Efficient, Provably Secure Compilation
Secure compilers generate compiled code that withstands many targetlevel attacks such as alteration of control flow, data leaks or memory corruption. Many existing secure compilers are proven to be fully abstract, meaning that they reflect and preserve observational equivalence. While this is a strong property, it comes at the cost of requiring expensive runtime constructs in compiled code that...
متن کاملA Proposal for GC - Safe C Compilation
Conservative garbage collectors are commonlyused in combination with conventional C programs. Empirically, this usually works well. However, there are no guarantees that this is safe in the presence of \improved" compiler optimization. We propose that C compilers provide a facility to suppress optimizations that are unsafe in the presence of conservative garbage collection. Such a facility can ...
متن کاملHolding Area LINQ Trial (HALT)
BACKGROUND Recent studies have shown that insertable cardiac monitors (ICMs) can be implanted out of the traditional hospital setting and efforts are being made to explore the feasibility of implanting these devices in a specific standardized location other than the operating room or a cardiac catherization/electrophysiology lab. METHODS This was a prospective, non-randomized, single center p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the VLDB Endowment
سال: 2010
ISSN: 2150-8097
DOI: 10.14778/1920841.1920866